$\forall$$a$:$\mathbb{N}$, $n$:\{$\ldots\,${-}1\}. (0 $\leq$ ($a$ rem $n$)) \& (($a$ rem $n$) $<$ ({-}$n$))